Special issue on verification and validation issues in databases, knowledge-based systems, and ontologies

2001 ◽  
Vol 16 (3) ◽  
pp. 263-264 ◽  
Author(s):  
Daniel O'Leary
Keyword(s):  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Special Issue ◽  
Knowledge Based

scholarly journals Verification and validation of knowledge-based systems

1999 ◽  
Vol 11 (1) ◽  
pp. 202-212 ◽  
Author(s):  
Wei-Tek Tsai ◽  
R. Vishnuvajjala ◽  
Du Zhang
Keyword(s):  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Knowledge Based

Verification and validation of knowledge-based systems with formal specifications

1995 ◽  
Vol 10 (4) ◽  
pp. 331-343 ◽  
Author(s):  
Pedro Meseguer ◽  
Alun D. Preece
Keyword(s):  
Conceptual Model ◽  
Formal Specification ◽  
Conceptual Models ◽  
Verification And Validation ◽  
Formal Specifications ◽  
Knowledge Based Systems ◽  
Knowledge Based ◽  
Prior Construction ◽  
Specification Techniques

AbstractThis paper examines how formal specification techniques can support the verification and validation (V&V) of knowledge-based systems. Formal specification techniques provide levels of description which support both verification and validation, and V&V techniques feed back to assist the development of the specifications. Developing a formal specification for a system requires the prior construction of a conceptual model for the intended system. Many elements of this conceptual model can be effectively used to support V&V. Using these elements, the V&V process becomes deeper and more elaborate, and it produces results of a better quality compared with the V&V activities which can be performed on systems developed without conceptual models. However, we note that there are concerns in using formal specification techniques for V&V, not least being the effort involved in creating the specifications.

Overview of current practice and research initiatives for the verification and validation of KBS

1992 ◽  
Vol 7 (2) ◽  
pp. 101-113 ◽  
Author(s):  
T. J. Lydiard
Keyword(s):  
Current Practice ◽  
Recent Literature ◽  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Knowledge Based ◽  
Research Initiatives ◽  
Specific Technology

AbstractBased on a survey of recent literature, this report aims to highlight the issues associated with the verification and validation of knowledge based systems. The confusion arising from the lack of clear terminology is considered, along with some of the characteristics of knowledge based systems that cause particular difficulties for verification and validation. The various approaches that can be adopted to address these difficulties are discussed, followed by a survey of recent research initiatives.The author concludes that many of the difficulties associated with the verification and validation of knowledge based systems are a feature of the complexity of the system being built and the manner of its development rather than of the specific technology chosen to implement it.

Sign in / Sign up

Export Citation Format

Share Document